In this paper we show how a student can learn the basics of the system databases using (W3school CSS) which was built as intelligent tutoring educational system by using the authoring tool called (ITSB). The learning material contains CSS and HTML. We divided the material in a group of lessons for novice learner which combines relational system and lessons in the process of learning. The student can learn using example of CSS, and types of CSS color. Furthermore, the intelligent tutoring (...) system supports not only lessons; but exercises of different difficult levels for each lesson. When a student finish successfully the first difficulty level in a lesson, the student is allowed to move to the next difficulty level of the exercises of the lesson. (shrink)

This article aims to show that fundamentality is construed differently in the two most prominent strategies of analysis we find in physical science and engineering today: (1) atomistic, reductive analysis and (2) Systems analysis. Correspondingly, atomism is the conception according to which the simplest (smallest) indivisible entity of a certain kind is most fundamental; while systemism, as will be articulated here, is the conception according to which the bonds that structure wholes are most fundamental, and scale and/or constituting entities are (...) of no significance whatsoever for fundamentality. Accordingly, atomists maintain that the basic entities—the atoms—are fundamental, and together with the “external” interactions among them, are sufficient for illuminating all the features and behaviors of the wholes they constitute; whereas systemists proclaim that it is instead structural qualities of systems, that flow from internal relations among their constituents and translate directly into behaviors, that are fundamental, and by themselves largely (if not entirely) sufficient for illuminating the features and behaviors of the wholes thereby structured. Systemism, as will be argued, is consistent with the nonexistence of a fundamental “level” of nondecomposable entities, just as it is consistent with the existence of such a level. Still, systemism is a conception of the fundamental in quite different, but still ontological terms. Systemism can serve the special sciences—the social sciences especially—better than the conception of fundamentality in terms of atoms. Systemism is, in fact, a conception of fundamentality that has rather different uses—and importantly, different resonances. This conception of fundamentality makes contact with questions pertaining to natural kinds and their situation in the metaphysics of the special sciences—their situation within an order of autonomous sciences. The controversy over fundamentality is evident in the social sciences too, albeit somewhat imperfectly, in the terms of debate between methodological individualists and functionalists/holists. This article will thus clarify the difference between systemism and holism. (shrink)

In this paper we show how a student can learn the basics of the system databases using (W3school CSS) which was built as intelligent tutoring educational system by using the authoring tool called (ITSB). The learning material contains CSS and HTML. We divided the material in a group of lessons for novice learner which combines relational system and lessons in the process of learning. The student can learn using example of CSS, and types of CSS color. Furthermore, the intelligent tutoring (...) system supports not only lessons; but exercises of different difficult levels for each lesson. When a student finish successfully the first difficulty level in a lesson, the student is allowed to move to the next difficulty level of the exercises of the lesson. (shrink)

In this paper, I argue that the indirect realists’ recourse to mental representations does not allow them to account for the possibility of hallucination, nor for the presentational character of visual experience. To account for the presentational character, I suggest a kind of intentionalism that is based on the interdependency between the perceived object and the embodied perceiver. This approach provides a positive account to the effect that genuine perception and hallucination are different kinds of states. Finally, I offer a (...) tentative suggestion as to how a hallucinatory experience may still be mistaken for a genuine perceptual experience. (shrink)

Pylyshyn restricts cognitively penetrable vision to late vision, whereas he does not make any distinction between different kinds of penetrating cognition. I argue that this approach disconnects early vision content from late vision content and blurs the distinction between the latter and the content of thought. To overcome this problem I suggest that we should not distinguish between different kinds of visual content but instead introduce a restriction on the kind of cognition that can directly penetrate visual experience. In particular, (...) I suggest that visual experience, unlike thought, is directly penetrated only by practical non-propositional knowledge. I specify this weak cognitive penetrability in anti-representational terms. In particular, I suggest that the dependence of visual content on practical non-propositional knowledge should be conceived as a rational non-inferential relation, for it is in this way that we can account for the distinctive content of visual experience. (shrink)

According to McDowell’s transcendental empiricism, the world view depends on experience, which in turn depends on the world view. This seems to be in accord with the thesis that experience is theory-laden, but it also seems to introduce a problem of vicious circularity. I argue that McDowell’s account has the resources to avoid the problem of vicious circularity by exploiting the idea of a wider circle that involves more relata and more kinds of rational dependence. But the acceptance of this (...) idea entails that experience, though concept-laden, is not theory-laden. (shrink)

Relativity theory is often said to support something called ‘the four-dimensional view of reality’. But there are at least three different views that sometimes go by this name. One is ‘spacetime unitism’, according to which there is a spacetime manifold, and if there are such things as points of space or instants of time, these are just spacetime regions of different sorts: thus space and time are not separate manifolds. A second is the B-theory of time, according to which the (...) past, present, and future are all equally real and there is nothing metaphysically special about the present. A third is perdurantism, according to which persisting material objects are made up of different temporal parts located at different times. We sketch routes from relativity to unitism and to the B-theory. We then discuss some routes to perdurantism, via the B-theory and via unitism. (shrink)

In this paper we examine whether the sense of agency represents an obstacle to the project of naturalizing the mental. On the basis of a thought experiment we suggest that the sense of agency is not an epiphenomenon. We also examine Frith's attempt to explain in functionalist terms the sense of agency through the comparator and metarepresentational mechanisms. Through a variety of arguments we try to show that explanation by recourse to these mechanisms is inadequate. We conclude by suggesting that (...) one possible reason for the failure of the functionalist approaches is that they begin from the assumption that thought is a form a of willed action. (shrink)

The possibility of multi-location—of one entity having more than one exact location—is required by several metaphysical theories such as the immanentist theory of universals and three-dimensionalism about persistence. One of the most pressing challenges for multi-location theorists is that of making sense of exact location—in that extant definitions of exact location entail a principle called ‘functionality’, according to which nothing can have more than one exact location. Recently in a number of promising papers, Antony Eagle has proposed and defended a (...) definition of exact location in terms of weak location that does not entail functionality. This paper provides the first thorough assessment of Eagle’s proposal. In particular, we argue that it cannot account for the location of immanent universals, the multi-location of mereologically changing three-dimensional objects, the multi-location of mereologically complex objects, and that it makes extended simples impossible. (shrink)

A lot of infants have significant food-related problems, as well as spitting up, rejecting new foods, or not accepting to eat at specific times. These issues are frequently ordinary and are not a sign that the baby is unwell. According to the National Institutes of Health, 25% of generally developing infants and 35% of babies with neurodevelopmental disabilities are tormented by some sort of feeding problem. Some, for example rejecting to eat specific foods or being overly finicky, are momentary and (...) don’t cause any health dangers. This paper proposes an expert system that can be used to successfully diagnose Feeding problems in infants and children. The suggested systems were found to be beneficial approach in addition to existing impartial ones. So far as the authors are aware, this is the initial effort of using an expert system in attaining good performance in a real world application. This expert system was designed and implemented to help parents diagnose these problems and get a recommendation of how to deal with infants and children. (shrink)

Pylyshyn restricts cognitively penetrable vision to late vision, whereas he does not make any distinction between different kinds of penetrating cognition. I argue that this approach disconnects early vision content from late vision content and blurs the distinction between the latter and the content of thought. To overcome this problem I suggest that we should not distinguish between different kinds of visual content but instead introduce a restriction on the kind of cognition that can directly penetrate visual experience. In particular, (...) I suggest that visual experience, unlike thought, is directly penetrated only by practical non-propositional knowledge. I specify this weak cognitive penetrability in anti-representational terms. In particular, I suggest that the dependence of visual content on practical non-propositional knowledge should be conceived as a rational non-inferential relation, for it is in this way that we can account for the distinctive content of visual experience. (shrink)

This paper develops an endurantist theory of persistence. The theory is built around one basic tenet, which concerns existence at a time – the relation between an object and the times at which that object is present. According to this tenet, which I call transcendentism, for an object to exist at a time is for it to participate in events that are located at that time. I argue that transcendentism is a semantically grounded and metaphysically fruitful. It is semantically grounded, (...) insofar as a semantic analysis of our temporal talk favors it over rivals. It is metaphysically fruitful, insofar as the theory of persistence that can be built around it – the transcendentist theory of persistence, to give it a name – requires neither temporal parts nor the problematic commitments to which all extant forms of endurantism are committed, such as the possibility of extended simples or multilocation. (shrink)

The Monster Objection has often been considered one of the main reasons to explore non-standard mereological views, such as hylomorphism. Still, it has been rarely discussed and then only in a cursory fashion. This paper fills this gap by offering the first thorough assessment of the objection. It argues that different metaphysical stances, such as presentism and three- and four-dimensionalism, provide different ways of undermining the objection.

Until recently, an almost perfect parallelism seemed to hold between theories of identity through time and across possible worlds,as every account in the temporal case(endurantism,perdurantism, exdurantism) was mirrored by a twin account in the modal case (trans-world identity, identity-via-parts, identity-via-counterparts). Nevertheless, in the recent literature, this parallelism has been broken because of the implementation in the debate of the relation of location. In particular, endurantism has been subject to a more in-depth analysis, and different versions of it, corresponding to different (...) ways an entity can be located in time, emerged. In this article, we provide a precise map of the conceptions at stake, complete the debate by introducing a version of endurantism not yet considered in the debate — we call transcendentism — and show that it allows us to provide an effective interpretation of the relation of trans-world identity and an intuitive solution in the temporal case. (shrink)

Nous proposons une logique épistémique quadrivalente AR4.

Priority monism is the view that the cosmos is the basic concrete entity on which each of its parts depend. Kovacs has recently argued that none of the classical notions of dependence could be used to spell out priority monism. I argue that four notions of dependence – namely rigid existential dependence, generic existential dependence, explanatory dependence, and generalised explanatory dependence – can indeed be used to spell out priority monism, and specify the conditions under which this is possible.

The Aristotelian view of universals, according to which each universal generically depends for its existence on its instantiations, has recently come under attack by a series of ground-theoretic arguments. The last such arguments, presented by Raven, promises to offer several significant improvements over its predecessors, such as avoiding commitment to the transitivity of ground and offering new reasons for the metaphysical priority of universals over their instantiations. In this paper, we argue that Raven's argument does not effectively avoid said commitment (...) and that Raven's new reasons fail. Moreover, we present a novel ground-theoretic interpretation of the Aristotelian view, referred to as strong immanence, and introduce a new argument against the Aristotelian view, intended to sidestep any commitment to the transitivity of ground. (shrink)

In this historical article, Newton da Costa discusses Francisco Miró Quesada’s philosophical ideas about logic. He discusses the topics of reason, logic, and action in Miró Quesada’s work, and in the final section he offers his critical view. In particular, he disagrees with Miró Quesada’s stance on the historicity of reason, for whom “reason is essentially absolute”, whereas for da Costa it “is being constructed in the course of history”. Da Costa concludes by emphasizing the importance of (...) Miró Quesada’s theory of logic and reason, despite it still being incomplete. -/- Historical article by Newton da Costa, annotated and translated by J. C. Cifuentes and L. F. Bartolo Alegre. (shrink)

I defend my paper “Aquinas, Geach, and Existence”[1]against objections from Luca Gili, who argued that, according to Aquinas, future contingents do not enjoy genuine existence but exist in God’s mind only.[1] Damiano Costa, “Aquinas, Geach, and existence”, European Journal for Philosophy of Religion 11, no. 3.

How do objects persist through time? According to endurantism, objects persist through time and do not have temporal parts. According to the transcendentist version of endurantism, objects exist at times by participating in events that occur at those times. This version of transcendentism offers specific metaphysical and semantical advantages over other versions of endurantism. In this paper, we defend transcendentist endurantism against a series of criticisms that have been recently offered by Kristie Miller.

Mostrando le analogie tra il modello di Homo oeconomicus e quello che chiameremo Animal oeconomicum, nonché la genealogia del ragionamento “economico” applicato al comportamento animale, vengono messi in risalto gli impliciti e le debolezze di alcuni ragionamenti etologici frequenti; revisioni e critiche che hanno ridimensionato il concetto di Homo oeconomicus sono applicabili anche all’interpretazione raziocinante e calcolatrice del comportamento animale.

Aquinas’ theory of being has received a growing amount of attention from contemporary scholars, both from a historic and a philosophical point of view. An important source of this attention is Geach’s seminal Form and Existence. In it, Geach argues that Aquinas subscribes to a tensed notion of existence and a theory of time according to which past and future entities do not exist in act. Subsequent commentators, such as Kenny in his Aquinas on Being, have agreed with Geach on (...) both points. In this paper, I argue that in several passages of his corpus, most notably those in which he is concerned with God’s knowledge of future contingents, Aquinas implicitly subscribes to a theory of being and time according to which: past and future entities are attributed existence in act, there is theoretical need for introducing a tenseless notion of existence. (shrink)

In the world of Philosophy for Children (P4C), the word “method” is found frequently in its literature and in its practitioner’s handbooks. This paper focuses on the idea of community of philosophical inquiry (CPI) as P4C’s methodological framework for educational purposes, and evaluates that framework and those purposes in light of the question, what does it mean to bring children and philosophy together, and what methodological framework, if any, is appropriate to that project? Our broader aim is to highlight a (...) problem with regards to the concept of method in P4C, and to question the consequences of that concept in the practice of philosophical dialogue with children. To better situate the concept of method within P4C (which, we think, will help to clarify some of the dialogues and debates within P4C as a philosophical field), we will identify two different historical understandings—represented by Rene Descartes and Hans Georg Gadamer—of the concept, and suggest new possibilities for understanding philosophical practice with children in light of their difference. (shrink)

Desde os tempos mais remotos, busca-se por equilíbrio entre o delito e a punição. Este artigo estabelece uma relação entre o conceito de Justiça em Aristóteles e a proporcionalidade em matéria penal. Para melhor compreensão do tema, inicia-se o estudo pelos principais pontos da obra Ética a Nicômaco, especialmente o Livro V, que trata da Justiça. A partir de então, aborda-se o princípio da proporcionalidade e a forma pela qual os conceitos de Aristóteles influenciaram a concepção desse princípio. Ato contínuo, (...) investiga-se a realidade atual do sistema carcerário, sendo avaliadas as estatísticas produzidas pelos órgãos competentes. Por conseguinte, enfatiza-se o Estado de Coisas Inconstitucional para verificar a questão penitenciária à luz da decisão da Suprema Corte brasileira na ADPF n. 347/DF. Ao final, pondera-se acerca da forma pela qual se pune no Brasil para investigar se suas premissas respeitam ou não as balizas do conceito de Justiça aristotélico e o princípio da proporcionalidade. Para o desenvolvimento desta pesquisa, utilizou-se o método qualitativo, por meio da leitura de obras que obedecem ao eixo temático exposto nos objetivos e que permitem o fichamento do repertório selecionado. Além de ter sido analisada juriprudência, foram coletados dados do censo penitenciário. Finalmente, articulou-se o material consultado com as estatísticas do sistema prisional. Concluiu-se nesta pesquisa que o Poder Executivo é omisso e ineficiente para garantir os direitos dos encarcerados, não obstante todo o avanço normativo sobre o tema. Como se não bastasse, na prática forense brasileira a proporcionalidade não é mais que mera previsão abstrata. (shrink)

In the debate about Christian attitudes to other religions, a threefold typology has emerged depicting differing Christian responses: pluralism, inclusivism and exclusivism. (This typology is not restricted to the Christian debate alone.) Traditionally, pluralism is opposed to exclusivism, the former claiming that it is arrogant and untenable to make exclusive truth claims, and that all religions are potentially equal paths to salvation and truth. In contrast, I argue that pluralism must always logically be a form of exclusivism and that nothing (...) called pluralism really exists. The main purpose of my paper is to show that there is no high-ground in the pluralist position, for in principle its logic is no different from the exclusivist position. If this is established, then the debate can proceed with more substantial issues regarding the justification and clarification of truth claims. (shrink)

In this paper, I seek to examine Deleuze’s fascination with “spiritual automata” as a counterpoint to his more famous notion, the “body without organs”. I shall argue that both are grounded in a deep reflection, on Deleuze’s part, on the problems and issues generated by Spinoza’s notion of parallel attributes. Ultimately, I argue, the development of the two notions is motivated by identical metaphysical worries regarding the tenability of transformation, persistence, and affective interrelations between individuals. The answer, for both thinkers, (...) is the insertion of a “third” relational term, which virtually interfaces with each without violation of their parallel development. For Spinoza, such term is the absolutely infinite substance; for Deleuze, it is instead the notion of sense and the faculty of sense-making. (shrink)

This article introduces some concepts that help exploring the ontological import of universal logic. It studies the notions of an antilogic and counterlogic associated to each logic and shows some of their properties. It presents the notion of galaxy, as the class of possible worlds compatible with a given logic.We explore some consequences of these developments.

Este ha sido el mundo infantil – imposible y contradictorio – que sentimos habitar en este escrito, en esta escritura. En ese mundo, como ahora, el inicio y el final coinciden. En ese mundo, que Heráclito llamaría aión, es la infancia la que gobierna. Un gobierno infantil. Por lo tanto, es tiempo de callarnos. De estarnos sin tanta luz y sin tantas palabras. Para dormir y soñar. Es tiempo de terminar. O de comenzar. Los y las lectores infantiles (no) tienen (...) la palabra. Nosotros ya (no) la tenemos… (¡hipo!). (shrink)

Capítulo de livro publicado em "Uma introdução à filosofia do direito" Itamar Luís Gelain (Org.) .- Ijuí: Ed. Unijuí, 2015. - 368 p. - (Coleção direito, política e cidadania; 37). . ISBN 978-85-419-0 I 75-8.

A child arrives as a new world because in her and with her we feel that the whole world can start over. But that is not the only reason. A child also arrives as a new world because her arrival tells us what, being so simple, we had almost forgotten: that the world is not just old and unquestionable. The child doesn’t let us be indif-ferent; she breaks with conformity and arrives as hope, reeking of the unpredictable. Of questions. A (...) similar arrival to that of a child is that of certain childlike ideas, such as the idea offered by Matthew Lipman when he created “philosophy for children.” We cele-brate his childlike, daring, irreverent, inquiring character, commemorating his birth nearly 50 years ago. With this childlike idea, a new world began—or at least it be-came possible to start—in worlds which were already a little old and stuck in con-formity. When those in institutionalized philosophy and education heard about the audacity of welcoming children among their reputable interlocutors in dialogue and thought, they frowned and turned up their noses. Philosophy for children? How come? Childhood in philosophy? (shrink)

No interior das discussões contemporâneas em astropolítica, há um pequeno grupo de defensores da chamada exopolítica. Este texto - sobre assuntos ontológicos em filosofia da astropolítica - avalia fundamentos conceituais em dois encaminhamentos vigentes em teorias exopolíticas. Para isso, leva-se em conta um ambiente mais abrangente fornecido por aspectos relacionados às investigações em astrobiologia teórica.

In this short article, I analyze forms of public speech by individuals in positions of power through a framework based on Austin’s theory of speech acts. I argue that because of the illocutionary and perlocutionary force attached to such individuals’ offices and their public figures, their public speech qualifies for being framed as speech acts—which are not covered by even a broad understanding of freedom of speech or right to privacy. Therefore, I formulate a call for the assessment of public (...) speech by individuals in positions of power through a framework based on “linguistic responsibility.” This framework accounts for the peculiar power structure that such individuals can and do exploit to bring about considerable real-world effects through what could be understood as an exploitation of their speech act power. (shrink)

I argue that medieval solutions to the limit decision problem imply four-dimensionalism, i.e. the view according to which substances that persist through time are extended through time as well as through space, and have different temporal parts at different times.

De modo geral, este texto é uma incursão em lógica filosófica e filosofia da lógica. Ele contém reflexões originais acerca dos conceitos de paraconsistência, modalidades e cognoscibilidade e suas possíveis relações. De modo específico, o texto avança em quatro direções principais: inicialmente, uma definição genérica de lógicas não clássicas utilizando a ideia de lógica abstrata é sugerida. Em seguida, é mostrado como técnicas manuais de paraconsistentização de lógicas são usadas para gerar sistemas particulares de lógicas paraconsistentes. Depois, uma definição de (...) possibilidade lógica é proposta por meio da ideia de limites de sequências de fórmulas. Por fim, muitas abordagens distintas ao paradoxo de Fitch e, consequentemente, aos limites do conhecimento são apresentadas considerando as reflexões anteriores. (shrink)

Review of the books: Jerry A. Fodor. Concepts: Where Cognitive Science went wrong. Oxford, UK: Oxford University Press, 1998, 174 pp., ISBN 0-19-823636-0. Geoffrey C. Bowker and Susan Leigh Star. Sorting things out: Classification and its consequences. Cambridge, MA: The MIT Press, 1999, 377 pp., ISBN 0-262-02461-6.

Este trabajo parte del análisis de Heidegger en “¿Para qué poetas?”, donde el autor interpreta la poesía de Hölderlin a partir de su elegía «Pan y vino», aquí expondremos algunas de sus explicaciones. También intentaremos entender la respuesta que da Hölderlin en la que asocia los poetas a los «sacerdotes del dios del vino». Para ello nos ayudaremos de las nociones que de Dioniso nos ofrecen tanto Nietzsche como Hölderlin, presentaremos semejanzas y diferencias de algunas de sus interpretaciones. Aparte de (...) eso, reflexionaremos sobre la visión del artista como un dios y la relación existente entre la poesía y la filosofía. Concluiremos con las reflexiones que Heidegger hace en su trabajo “Aclaraciones a la poesía de Hölderlin”, donde el autor sobrevalora el papel de la poesía, considerando incluso que los poetas pueden llegar a esclarecer pensamientos de cualquier filosofía pensada a medias. (shrink)

This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Łoś–Tarski and the Chang–Łoś–Suszko preservation theorems follow.

Following a previous article (cf. Costa-Leite, A. (2018). Oppositions in a line segment, South American Journal of Logic, 4(1), pp.185-193) in which logical oppositions are defined in a line segment, this article goes one step further and proposes a method defining them using a zero-dimensional object: a point.

The article presents an analysis centered on the emotional lapses of artificial intelligence (AI) and the influence of these lapses on two critical aspects. Firstly, the article explores the ontological impact of emotional lapses, elucidating how they hinder AI’s capacity to develop a moral sense. The absence of a moral emotion, such as sympathy, creates a barrier for machines to grasp and ethically respond to specific situations. This raises fundamental questions about machines’ ability to act as moral agents in the (...) same manner as human beings. Additionally, the article sheds light on the practical implications within human-machine relations and their effect on human friendships. The lack of friendliness or its equivalent in interactions with machines directly impacts the quality and depth of human relations. This concerningly suggests the potential replacement or compromise of genuine interpersonal connections due to limitations in human-machine interactions. (shrink)

O que são práticas baseadas em evidências? Por que isso é importante para a Psicologia? Neste ebook Danielle de Souza Costa, Bruno Rezende de Souza, Clarice de Medeiros Chaves Ferreira e Leandro Fernandes Malloy-Diniz fazem uma breve introdução ao tema, conceituando o significado de termos chave como "evidências", "ciência" e "pseudociência", discutindo algumas das dificuldades que encontramos hoje na avaliação da confiabilidade dos estudos científicos, oferecendo dicas para os iniciantes, e destacando a importância do estudo de uma psicologia científica.

How to be being to be being/ next to the united and firm/ and trembling/ mouth of the poem?”, “How to say what is clearer than clarity [...]?” or “How to unite a light design and an obscure gesture?” These questions, as well as many others that emerge from the poetic and essay writing of António Ramos Rosa (1924-2013), represent different modulations of the same angular question: that of the relation between poem and reality, or, more radically, between poem and (...) being. And if such a question spreads into so many formulations it is because, in António Ramos Rosa, its scope is total, simultaneously aesthetic and ontological, metaphysical and spiritual. It is, therefore, this question that we will try to answer by looking into one of its possible faces: how can poetic creation be at the same time the most intimate gesture and the one that touches most deeply the undomesticated matter of the real, that absolute and unapprehensible Other? (shrink)

A partir de la tesis del filósofo español Miguel de Unamuno (1864-1936), según la cual el extremo occidental — Portugal — y el extremo oriental — India — se dieron las manos espirituales por vía de la comprensión de la vanidad del mundo (vanitas), presentada en su obra Por tierras de Portugal y España (1911), nos proponemos poner en diálogo las visiones del mundo barroco occidental y del mundo budista oriental sobre la vanidad y la muerte. En este sentido, nuestra (...) reflexión se centrará en el pensamiento del P. António Vieira, como ejemplo capital del pensamiento barroco portugués, y en el Sermón de Benares, como texto fundador del budismo. (shrink)